Verification tasks. Verify the following properties:
7. msort is a stable sorting algorithm
